import cpp

from Assignment ass, Declaration d, Type t
where ass.getRValue() instanceof Access and 
    d = ass.getRValue().(Access).getTarget() and 
    t = ass.getLValue().getType()
select d.getLocation().toString(), t.getLocation().toString()